- ground clause
- мат.основной дизъюнкт
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Ground expression — In mathematical logic, a ground term of a formal system is a term that does not contain any variables at all, and a closed term is a term that has no free variables. In first order logic all closed terms are ground terms, but in lambda calculus… … Wikipedia
Privileges or Immunities Clause — Amendment XIV, Section 1, Clause 2 of the United States Constitution is known as the Privileges or Immunities Clause. It states:Drafting and adoptionThe primary author of the Privileges or Immunities Clause was Congressman John Bingham of Ohio.… … Wikipedia
No-contest clause — Wills, trusts and estates … Wikipedia
The Santa Clause — Infobox Film caption=Theatrical Release Poster name=The Santa Clause director=John Pasquin writer=Leo Benvenuti Steve Rudnick starring=Tim Allen Eric Lloyd Wendy Crewson Judge Reinhold David Krumholtz Peter Boyle producer=Robert Newmyer Brian… … Wikipedia
incontestability clause — in·con·tes·ta·bil·i·ty clause /ˌin kən ˌtes tə bi lə tē / n: a clause in an insurance policy that forbids the insurer from disputing the policy (as on the ground that the insured made false statements) after a set period of time Merriam Webster’s … Law dictionary
Objects clause — An objects clause is a provision in a company s constitution stating the purpose and range of activities for which the company is carried on. In UK company law up until reforms in the Companies Act 1989 and the Companies Act 2006, an objects… … Wikipedia
Adequate and independent state ground — The adequate and independent state ground doctrine is a doctrine of United States law governing the power of the U.S. Supreme Court to review judgments entered by state courts. Introduction It is part of the basic framework of the American legal… … Wikipedia
Castle doctrine — A Castle Doctrine (also known as a Castle Law or a Defense of Habitation Law) is an American legal doctrine arising from English common law[1] that designates one s place of residence (or, in some states, any place legally occupied, such as one s … Wikipedia
Castle Doctrine in the United States — A Castle Doctrine (also known as a Castle Law or a Defense of Habitation Law) is an American legal concept derived from English Common Law, which designates one s place of residence (or, in some states, any place legally occupied, such as one s… … Wikipedia
HEBREW LANGUAGE — This entry is arranged according to the following scheme: pre biblical biblical the dead sea scrolls mishnaic medieval modern period A detailed table of contents precedes each section. PRE BIBLICAL nature of the evidence the sources phonology… … Encyclopedia of Judaism
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia